10000
jro.sg·18h
📦Executable Size
Flag this post
Making Sense of Memory in AI Agents
leoniemonigatti.com·1d·
Discuss: Hacker News
🧠Memory Models
Flag this post
Rust Smart Pointers: Safe Memory Management Without Garbage Collection
dev.to·16h·
Discuss: DEV
🔒Rust Borrowing
Flag this post
<p>**Abstract:** This paper introduces a novel approach to constructing minimal polynomials for matrices within numerical linear algebra using reinforcement lea...
freederia.com·23h
🧩Constraint Solvers
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·21h·
Discuss: Substack
📚Forth Compilers
Flag this post
Making SLH-DSA 10x-100x Faster
conduition.io·6h
🔗Hash Algorithms
Flag this post
Go Memory Model Deep Dive: What Every Go Developer Must Know – Serge Skoredin
skoredin.pro·1d·
Discuss: Hacker News
🧠Memory Models
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
📈Monotonic Logic
Flag this post
An overview of memory management in Go (2021)
medium.com·13h·
Discuss: Hacker News
📚Stack Data Structures
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🔍ML Language
Flag this post
Trying Out C++26 Executors
mropert.github.io·11h·
Discuss: Lobsters, Hacker News
🔮Speculative Execution
Flag this post
[Self-Promotion] Built a unified LLM memory system combining Memori + Mem0 + Supermemory
reddit.com·1d·
Discuss: r/LLM
💬Smalltalk VMs
Flag this post
The Real Cost of LLM Inference: Memory Bandwidth, Not FLOPs
dev.to·1d·
Discuss: DEV
🗺️Region Inference
Flag this post
A Reverse Engineer's Anatomy of the macOS Boot Chain and Security Architecture
stack.int.mov·10h·
Discuss: Hacker News
🏷️Memory Tagging
Flag this post
Thankful for Memory Managed Languages
mooreds.com·12h·
Discuss: Hacker News
🔗Concatenative Languages
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
✅Type Checking
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·10h·
Discuss: Hacker News
🧩Constraint Solvers
Flag this post
A forthcoming problem with bitvm - Supertestnet interrogates Citrea's protocol
telegra.ph·1d
🔢Bit Manipulation
Flag this post
The Rust Community Knew This Was Coming
lucisqr.substack.com·1d·
Discuss: Substack, r/cpp, r/programming
⚙️TOML Parsers
Flag this post
The Limits of Formal Security Models – Dorothy E. Denning (1999)
faculty.nps.edu·3d·
Discuss: Hacker News
🛡️Security Type Systems
Flag this post